14.17/15.42	unsat
