15.51/18.74	unsat
