14.75/14.81	unsat
