12.80/15.23	unsat
