5.89/6.99	unsat
