14.26/14.34	unsat
