6.57/10.58	unsat
