8.04/8.23	unsat
