13.74/14.34	unsat
