13.36/14.81	unsat
