22.84/25.42	unsat
