14.35/15.73	unsat
