19.67/23.04	unsat
