13.53/15.74	unsat
