6.03/6.99	unsat
