21.87/23.31	unsat
