47.58/47.61	unsat
