5.48/5.82	unsat
