39.64/45.32	unsat
