28.95/47.62	unsat
