4.19/6.96	unsat
