1.88/4.75	unsat
