20.85/23.91	unsat
