42.67/45.39	unsat
