0.05/0.07	unsat
