5.23/7.73	unsat
