20.94/23.17	unsat
