13.36/15.74	unsat
