46.85/47.86	unsat
