7.87/12.23	unsat
