5.48/6.74	unsat
