23.24/26.22	unsat
