0.07/0.21	unsat
