14.59/18.34	unsat
