22.97/23.04	unsat
