14.26/14.36	unsat
