5.17/7.73	unsat
