20.97/25.57	unsat
