8.32/10.30	unsat
