20.94/23.30	unsat
