5.57/5.67	unsat
