8.97/12.23	unsat
