13.17/14.34	unsat
