22.85/23.33	unsat
