0.21/0.30	unsat
