21.25/23.17	unsat
