5.22/7.88	unsat
