25.95/30.15	unsat
