47.78/47.95	unsat
