22.68/23.33	unsat
