8.53/14.34	unsat
