14.26/15.24	unsat
