5.29/8.73	unsat
