22.84/25.99	unsat
