0.28/0.30	unsat
