5.03/5.75	unsat
