20.95/25.34	unsat
