12.68/15.23	unsat
