21.27/23.97	unsat
