7.89/10.43	unsat
