19.85/23.23	unsat
