6.02/8.23	unsat
