21.36/23.89	unsat
