5.07/7.43	unsat
