5.90/8.43	unsat
