22.33/24.08	unsat
