21.78/25.02	unsat
