14.36/14.82	unsat
