4.70/5.76	unsat
