13.36/14.78	unsat
