21.34/23.78	unsat
